home *** CD-ROM | disk | FTP | other *** search
-
- body { color:#000000;
- background-color: #FFFFFF;
- font-size:70%;
- font-family:Verdana, Arial, Helvetica, Sans Serif; }
-
- a:link { color:#000080; }
-
- a:visited { color:#0066FF; }
-
- a:active { color:#0000FF; }
-
- a:hover { color:#800080; }
-
- h1 { font-size:135%;
- margin-bottom:.5em; }
-
- h2 { font-size:135%;
- margin-top:1.5em;
- margin-bottom:.5em; }
-
- h3 { font-size:135%;
- margin-top:1.2em;
- margin-bottom:.5em; }
-
- h4 { font-size:100%;
- margin-top:1.0em;
- margin-bottom:.5em; }
-
-
-
- p { margin-top:.6em;
- margin-bottom:.6em; }
-
- p.proclabel { font-size:100%;
- font-weight:bold; }
-
- ol { margin-top:.5em;
- margin-bottom:0em;
- margin-left:2em }
-
- li { margin-bottom:.7em;
- margin-left:0em; }
-
- dd { margin-bottom:0em;
- margin-left:1.5em; }
-
- dt { margin-top:2em; }
-
- pre { margin-top:0em;
- margin-bottom:1.5em; }
-
- code { font-family:Courier New;
- font-size:125%; }
-
- table { font-size:100%;
- background: #999999;
- margin-top:1em;
- margin-bottom:1em;
- cellpadding:0.5em; }
-
- th { text-align:left;
- background:#cccccc;
- vertical-align:bottom; }
-
- tr { vertical-align:top; }
-
- td { background:#ffffff;
- vertical-align:top; }
-
- hr { margin-top:.2em;
- margin-bottom:-.4em; }
-
- ul { margin-top:.6em;
- margin-bottom:-.4em;
- list-style-type:disc;
- margin-left:1.5em }
-
- .label {
- font-weight: bold; }
-
- .tl {
- margin-bottom: .75em; }
-
- .atl {
- padding-left: 2.5em;
- padding-bottom: .75em; }
-
- .cfe {
- font-weight: bold; }
-
- .mini {
- font-size: smaller; }
-
- a:sidebar {color: #000066}
- a:visited.sidebar: {
- color: #0066CC;
- text-decoration: none; }
-
- a:hover.sidebar: {color: #008000;
- text-decoration: none; }
-
-
-
- /*Sidebars*/
- DIV.sidebartext {
- position: relative;
- left: -22px;
- height: 72px;
- width: 300px;
- margin-top: .6em;
- margin-right: 3em;
- margin-left: 3em;
- margin-bottom: .6em;
- padding-top: .75em;
- padding-right: 6px;
- padding-left: .75em;
- padding-bottom: .75em;
- cursor: hand;
- border-left: 2pt solid #6699CC;
- background-color: #FFFFFF; }
-
- /* Only use this for sidebars that are NOT in a list */
- DIV.sidebartbl {
- height: 72px;
- width: 300px;
- margin-top: .6em;
- margin-right: 3em;
- margin-left: 3em;
- margin-bottom: .6em;
- padding-top: .75em;
- padding-right: 8em;
- padding-left: .75em;
- padding-bottom: .75em;
- cursor: hand;
- border-left: 4pt solid #6699CC;
- background-color: #F0F0F0; }
-
- .endlink {
- line-height: 6pt;
- position: relative;
- top: 1pt;
- background-color: transparent;
- font-weight: bold;
- font-size: 7pt;
- font-style: italic;
- color: black;
- text-decoration: none;
- cursor: hand;
- width: 20px;
- height: 8pt;
- padding-top: -2pt;
- padding-bottom: 1pt;
- margin: 0pt;
- border-bottom: 1pt solid #cc0033;
- border-top: 1pt solid #cc0033; }
-
-
-
- pre.syntax
- {
- background: #dddddd;
- padding: 2pt,4pt;
- cursor: text;
- }
-
- pre.syntax
- {
- color: #000000;
- }